翻訳と辞書 Words near each other ・ Center for China and Globalization ・ Center for China in the World Economy ・ Center for Christian-Democratic Studies ・ Center for Citizen Initiatives ・ Center for Civic Media ・ Center for Civilians in Conflict ・ Center for Class Action Fairness ・ Center for Climate and Energy Solutions ・ Center for Coastal & Ocean Mapping ・ Center for Cognitive Studies ・ Center for Community and Economic Development ・ Center for Community Change ・ Center (algebra) ・ Center (band) ・ Center (basketball) ・ Center (category theory) ・ Center (community), Wisconsin ・ Center (gridiron football) ・ Center (group theory) ・ Center (PAT station) ・ Center Against Domestic Violence ・ Center All-Ukrainian Union ・ Center Alliance ・ Center Arbor ・ Center Area School District ・ Center axle disconnect ・ Center Barnstead, New Hampshire ・ Center Branch Wildlife Management Area ・ Center Bridge Historic District ・ Center cap Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Center (category theory) ： ウィキペディア英語版 Center (category theory) Let $\backslash mathcal\; =\; (\backslash mathcal,\backslash otimes,I)$ be a (strict) monoidal category. The ''center of $\backslash mathcal$'', also called the ''Drinfeld center of $\backslash mathcal$'' and denoted $\backslash mathcal$, is the category whose objects are pairs ''(A,u)'' consisting of an object ''A'' of $\backslash mathcal$ and a natural isomorphism $u\_X:A\; \backslash otimes\; X\; \backslash rightarrow\; X\; \backslash otimes\; A$ satisfying : $u\_\; =\; (1\; \backslash otimes\; u\_Y)(u\_X\; \backslash otimes\; 1)$ and : $u\_I\; =\; 1\_A$ (this is actually a consequence of the first axiom). An arrow from ''(A,u)'' to ''(B,v)'' in $\backslash mathcal$ consists of an arrow $f:A\; \backslash rightarrow\; B$ in $\backslash mathcal$ such that :$v\_X\; (f\; \backslash otimes\; 1\_X)\; =\; (1\_X\; \backslash otimes\; f)\; u\_X$ . The category $\backslash mathcal$ becomes a braided monoidal category with the tensor product on objects defined as :$(A,u)\; \backslash otimes\; (B,v)\; =\; (A\; \backslash otimes\; B,w)$ where $w\_X\; =\; (u\_X\; \backslash otimes\; 1)(1\; \backslash otimes\; v\_X)$, and the obvious braiding . == References == *. * * 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Center (category theory)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.